i1 : R = QQ[a..d]/(a*d-b*c) o1 = R o1 : QuotientRing |
i2 : Q = Proj R o2 = Q o2 : ProjectiveVariety |
i3 : OO_Q^5
5
o3 = OO
Q
o3 : coherent sheaf on Q, free
|
i4 : IL = sheaf module ideal(a,b)
o4 = image | a b |
1
o4 : coherent sheaf on Q, subsheaf of OO
Q
|
i5 : IL^3
o5 = image | a b 0 0 0 0 |
| 0 0 a b 0 0 |
| 0 0 0 0 a b |
3
o5 : coherent sheaf on Q, subsheaf of OO
Q
|